\begin{verbatim}
sage: x = CRT([29,129,127],[2*3*5*37,p5,p6]);
sage: x
1075217203476555175652504438224037579
sage: a^x eq c
True
\end{verbatim}
    
